// ==++==
// 
//   Copyright (c) 2008 Microsoft Corporation. All rights reserved.
//   License: MS-Pl
//
// ==--==

using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.Pex.Engine;
using Microsoft.Pex.Framework;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using Xunit;
using XunitExt;
using Microsoft.Pex.Framework.Validation;
using Assert=Xunit.Assert;

namespace Pex.Xunit.Integration
{
    [PexClass]
    public partial class XunitTest
    {
        [Theory, PexMethod]
        [PexAllowedException(typeof(ArgumentException))]
        public void ExpectedException(string value)
        {
            throw new ArgumentException();
        }

        [Theory, PexMethod]
        public void TheoryStuff(string value)
        {
            if (value == "hello")
                Console.WriteLine("world");
        }
    }
}
